Nuprl Definition : lambda def
13,42
postcript
pdf
x
.
A
(
x
) is Primitive
latex
Up
core
1
,
core
1
FDL editor aliases
lam
origin
x.A(x) is Primitive x.A(x) is Primitive